Instance,nrRules,success,nrStates,n,runtime_ms
1,6,1,3,1,19
2,6,1,3,1,3
3,6,1,3,1,2
4,6,1,3,1,2
5,6,1,3,1,2
6,6,1,3,1,2
7,6,1,3,1,2
8,6,1,3,1,2
9,6,1,3,1,2
10,6,1,3,1,2
11,6,1,3,1,2
12,6,1,3,1,2
13,6,1,3,1,2
14,6,1,3,1,1
15,6,1,3,1,1
16,6,1,3,1,2
17,6,1,3,1,1
18,6,1,3,1,1
19,6,1,3,1,1
20,6,1,3,1,1
21,6,1,3,1,1
22,81,1,23,2,10
23,81,1,23,2,8
24,81,1,23,2,6
25,81,1,23,2,6
26,81,1,23,2,5
27,81,1,23,2,4
28,81,1,23,2,4
29,81,1,23,2,4
30,81,1,23,2,4
31,81,1,23,2,3
32,81,1,23,2,3
33,81,1,23,2,3
34,81,1,23,2,3
35,81,1,23,2,3
36,81,1,23,2,3
37,81,1,23,2,3
38,81,1,23,2,2
39,81,1,23,2,3
40,81,1,23,2,3
41,81,1,23,2,2
42,81,1,23,2,3
43,81,1,23,2,3
44,81,1,23,2,2
45,81,1,23,2,2
46,81,1,23,2,3
47,81,1,23,2,2
48,81,1,23,2,2
49,81,1,23,2,2
50,81,1,23,2,2
51,81,1,23,2,3
52,81,1,23,2,2
53,81,1,23,2,2
54,81,1,23,2,2
55,81,1,23,2,2
56,81,1,23,2,2
57,81,1,23,2,2
58,81,1,23,2,2
59,81,1,23,2,2
60,81,1,23,2,2
61,81,1,23,2,2
62,81,1,23,2,2
63,81,1,23,2,2
64,81,1,23,2,2
65,81,1,23,2,2
66,81,1,23,2,2
67,81,1,23,2,2
68,81,1,23,2,2
69,81,1,23,2,2
70,81,1,23,2,2
71,81,1,23,2,2
72,81,1,23,2,2
73,81,1,23,2,2
74,81,1,23,2,2
75,81,1,23,2,2
76,81,1,23,2,1
77,81,1,23,2,2
78,81,1,23,2,1
79,81,1,23,2,1
80,81,1,23,2,2
81,81,1,23,2,2
82,81,1,23,2,1
83,81,1,23,2,1
84,81,1,23,2,1
85,81,1,23,2,1
86,81,1,23,2,1
87,81,1,23,2,1
88,81,1,23,2,1
89,81,1,23,2,1
90,81,1,23,2,1
91,81,1,23,2,1
92,81,1,23,2,1
93,81,1,23,2,1
94,81,1,23,2,1
95,81,1,23,2,1
96,81,1,23,2,1
97,81,1,23,2,1
98,81,1,23,2,1
99,81,1,23,2,1
100,81,1,23,2,1
101,81,1,23,2,1
102,81,1,23,2,2
103,81,1,23,2,1
104,81,1,23,2,1
105,81,1,23,2,1
106,81,1,23,2,1
107,81,1,23,2,1
108,81,1,23,2,1
109,81,1,23,2,1
110,81,1,23,2,1
111,81,1,23,2,1
112,81,1,23,2,1
113,81,1,23,2,1
114,81,1,23,2,1
115,81,1,23,2,1
116,81,1,23,2,2
117,81,1,23,2,1
118,81,1,23,2,1
119,81,1,23,2,1
120,81,1,23,2,1
121,191,1,39,2,2
122,81,1,23,2,1
123,81,1,23,2,1
124,81,1,23,2,1
125,81,1,23,2,1
126,81,1,23,2,1
127,81,1,23,2,1
128,81,1,23,2,1
129,81,1,23,2,1
130,81,1,23,2,1
131,81,1,23,2,1
132,81,1,23,2,1
133,81,1,23,2,1
134,81,1,23,2,1
135,81,1,23,2,1
136,81,1,23,2,2
137,81,1,23,2,2
138,81,1,23,2,1
139,81,1,23,2,1
140,81,1,23,2,1
141,81,1,23,2,2
142,81,1,23,2,1
143,81,1,23,2,1
144,81,1,23,2,1
145,81,1,23,2,1
146,81,1,23,2,1
147,81,1,23,2,1
148,81,1,23,2,1
149,81,1,23,2,1
150,384,1,73,3,4
151,384,1,73,3,5
152,384,1,73,3,4
153,384,1,73,3,4
154,384,1,73,3,4
155,384,1,73,3,3
156,384,1,73,3,3
157,384,1,73,3,3
158,384,1,73,3,3
159,384,1,73,3,4
160,384,1,73,3,3
161,384,1,73,3,3
162,384,1,73,3,2
163,384,1,73,3,2
164,384,1,73,3,2
165,384,1,73,3,2
166,384,1,73,3,3
167,384,1,73,3,3
168,384,1,73,3,3
169,384,1,73,3,3
170,384,1,73,3,2
171,384,1,73,3,2
172,147,0,36,3,1
173,384,1,73,3,2
174,147,0,36,3,1
175,384,1,73,3,2
176,384,1,73,3,2
177,384,1,73,3,2
178,384,1,73,3,2
179,384,1,73,3,2
180,384,1,73,3,2
181,147,0,36,3,1
182,384,1,73,3,2
183,384,1,73,3,2
184,384,1,73,3,2
185,384,1,73,3,2
186,147,0,36,3,2
187,384,1,73,3,2
188,384,1,73,3,3
189,384,1,73,3,3
190,384,1,73,3,2
191,384,1,73,3,2
192,147,0,36,3,1
193,384,1,73,3,2
194,384,1,73,3,2
195,384,1,73,3,2
196,384,1,73,3,2
197,384,1,73,3,2
198,384,1,73,3,2
199,384,1,73,3,2
200,384,1,73,3,2
201,384,1,73,3,2
202,384,1,73,3,2
203,384,1,73,3,2
204,384,1,73,3,2
205,384,1,73,3,1
206,384,1,73,3,1
207,384,1,73,3,1
208,384,1,73,3,2
209,384,1,73,3,1
210,384,1,73,3,2
211,384,1,73,3,2
212,384,1,73,3,1
213,384,1,73,3,1
214,384,1,73,3,1
215,384,1,73,3,1
216,384,1,73,3,1
217,384,1,73,3,1
218,384,1,73,3,2
219,384,1,73,3,1
220,384,1,73,3,2
221,384,1,73,3,1
222,384,1,73,3,2
223,147,0,36,3,1
224,384,1,73,3,1
225,147,0,36,3,1
226,384,1,73,3,1
227,384,1,73,3,1
228,384,1,73,3,1
229,384,1,73,3,2
230,384,1,73,3,1
231,384,1,73,3,1
232,384,1,73,3,1
233,384,1,73,3,1
234,384,1,73,3,2
235,384,1,73,3,2
236,384,1,73,3,1
237,384,1,73,3,1
238,384,1,73,3,1
239,147,0,36,3,1
240,384,1,73,3,1
241,147,0,36,3,1
242,384,1,73,3,1
243,384,1,73,3,1
244,384,1,73,3,1
245,384,1,73,3,1
246,384,1,73,3,2
247,384,1,73,3,2
248,384,1,73,3,1
249,384,1,73,3,1
250,384,1,73,3,1
251,384,1,73,3,2
252,384,1,73,3,2
253,384,1,73,3,2
254,384,1,73,3,2
255,384,1,73,3,1
256,384,1,73,3,1
257,384,1,73,3,1
258,384,1,73,3,1
259,384,1,73,3,1
260,384,1,73,3,1
261,384,1,73,3,1
262,384,1,73,3,1
263,384,1,73,3,1
264,384,1,73,3,1
265,384,1,73,3,1
266,384,1,73,3,1
267,384,1,73,3,1
268,384,1,73,3,1
269,384,1,73,3,1
270,1547,1,193,4,5
271,959,1,149,4,3
272,416,0,80,4,2
273,959,1,149,4,3
274,1547,1,193,4,5
275,959,1,149,4,3
276,1547,1,193,4,5
277,1547,1,193,4,5
278,1547,1,193,4,5
279,1547,1,193,4,5
280,416,0,80,4,1
281,959,1,149,4,3
282,959,1,149,4,3
283,2521,1,257,4,7
284,959,1,149,4,3
285,1547,1,193,4,4
286,959,1,149,4,3
287,959,1,149,4,3
288,1547,1,193,4,4
289,959,1,149,4,3
290,1547,1,193,4,4
291,1547,1,193,4,4
292,959,1,149,4,3
293,416,0,80,4,2
294,959,1,149,4,3
295,250,0,60,4,1
296,1547,1,193,4,4
297,959,1,149,4,3
298,1547,1,193,4,4
299,1547,1,193,4,4
300,1547,1,193,4,5
301,1547,1,193,4,4
302,250,0,60,4,1
303,416,0,80,4,2
304,959,1,149,4,3
305,1547,1,193,4,7
306,416,0,80,4,2
307,1547,1,193,4,6
308,959,1,149,4,5
309,416,0,80,4,2
310,1547,1,193,4,5
311,1547,1,193,4,7
312,959,1,149,4,3
313,416,0,80,4,1
314,1547,1,193,4,5
315,1547,1,193,4,4
316,416,0,80,4,1
317,1547,1,193,4,4
318,1547,1,193,4,4
319,959,1,149,4,3
320,959,1,149,4,3
321,1547,1,193,4,4
322,416,0,80,4,1
323,959,1,149,4,3
324,2521,1,257,4,7
325,959,1,149,4,3
326,959,1,149,4,3
327,959,1,149,4,3
328,1547,1,193,4,4
329,1547,1,193,4,4
330,1547,1,193,4,4
331,959,1,149,4,3
332,1547,1,193,4,4
333,416,0,80,4,1
334,959,1,149,4,3
335,959,1,149,4,3
336,1547,1,193,4,4
337,416,0,80,4,1
338,416,0,80,4,1
339,959,1,149,4,3
340,959,1,149,4,4
341,1547,1,193,4,4
342,416,0,80,4,1
343,959,1,149,4,3
344,416,0,80,4,2
345,1547,1,193,4,6
346,959,1,149,4,4
347,959,1,149,4,3
348,959,1,149,4,3
349,959,1,149,4,4
350,959,1,149,4,3
351,416,0,80,4,1
352,959,1,149,4,4
353,1547,1,193,4,7
354,959,1,149,4,5
355,959,1,149,4,6
356,959,1,149,4,5
357,959,1,149,4,5
358,959,1,149,4,5
359,959,1,149,4,5
360,959,1,149,4,5
361,1547,1,193,4,6
362,959,1,149,4,4
363,959,1,149,4,4
364,959,1,149,4,4
365,416,0,80,4,2
366,959,1,149,4,4
367,959,1,149,4,4
368,959,1,149,4,4
369,1547,1,193,4,6
370,959,1,149,4,4
371,1547,1,193,4,6
372,1547,1,193,4,6
373,1547,1,193,4,6
374,1547,1,193,4,6
375,959,1,149,4,4
376,959,1,149,4,5
377,959,1,149,4,4
378,416,0,80,4,2
379,959,1,149,4,5
380,959,1,149,4,5
381,959,1,149,4,4
382,1547,1,193,4,6
383,1547,1,193,4,6
384,959,1,149,4,4
385,959,1,149,4,5
386,1547,1,193,4,4
387,959,1,149,4,3
388,212,0,52,4,1
389,959,1,149,4,3
390,1547,1,193,4,4
391,1547,1,193,4,4
392,959,1,149,4,3
393,959,1,149,4,3
394,1547,1,193,4,4
395,959,1,149,4,3
396,959,1,149,4,3
397,1547,1,193,4,4
398,1547,1,193,4,4
399,1547,1,193,4,4
400,959,1,149,4,3
401,959,1,149,4,4
402,959,1,149,4,3
403,416,0,80,4,5
404,1547,1,193,4,13
405,959,1,149,4,4
406,959,1,149,4,6
407,1547,1,193,4,13
408,416,0,80,4,5
409,250,0,60,4,4
410,1547,1,193,4,12
411,1547,1,193,4,12
412,959,1,149,4,7
413,1547,1,193,4,9
414,1547,1,193,4,5
415,959,1,149,4,9
416,1547,1,193,4,12
417,416,0,80,4,5
418,1547,1,193,4,12
419,1547,1,193,4,12
420,959,1,149,4,10
421,1547,1,193,4,13
422,416,0,80,4,4
423,959,1,149,4,9
424,959,1,149,4,10
425,416,0,80,4,4
426,1547,1,193,4,12
427,416,0,80,4,5
428,1547,1,193,4,13
429,1547,1,193,4,12
430,1547,1,193,4,13
431,959,1,149,4,9
432,1547,1,193,4,12
433,1547,1,193,4,12
434,1547,1,193,4,12
435,1547,1,193,4,13
436,959,1,149,4,10
437,959,1,149,4,10
438,959,1,149,4,10
439,1547,1,193,4,13
440,959,1,149,4,9
441,1547,1,193,4,12
442,1547,1,193,4,11
443,1547,1,193,4,10
444,2874,1,315,5,19
445,3848,1,379,5,25
446,5846,1,475,5,30
447,645,0,122,5,5
448,957,0,150,5,6
449,5846,1,475,5,37
450,5846,1,475,5,20
451,2874,1,315,5,9
452,5846,1,475,5,15
453,2874,1,315,5,9
454,5846,1,475,5,15
455,1662,1,243,5,6
456,1662,1,243,5,6
457,1662,1,243,5,6
458,2874,1,315,5,9
459,5846,1,475,5,26
460,513,0,102,5,4
461,2874,1,315,5,16
462,513,0,102,5,4
463,623,0,118,5,5
464,1662,1,243,5,11
465,2874,1,315,5,16
466,513,0,102,5,4
467,1662,1,243,5,10
468,957,0,150,5,6
469,5846,1,475,5,28
470,2874,1,315,5,16
471,1662,1,243,5,11
472,2874,1,315,5,16
473,5846,1,475,5,17
474,2874,1,315,5,10
475,5846,1,475,5,16
476,2874,1,315,5,9
477,2874,1,315,5,9
478,5846,1,475,5,26
479,513,0,102,5,6
480,2874,1,315,5,20
481,957,0,150,5,6
482,5846,1,475,5,28
483,5846,1,475,5,26
484,5846,1,475,5,28
485,1662,1,243,5,12
486,323,0,78,5,3
487,513,0,102,5,4
488,1662,1,243,5,11
489,2874,1,315,5,15
490,957,0,150,5,6
491,1832,0,214,5,11
492,3848,1,379,5,25
493,957,0,150,5,7
494,513,0,102,5,5
495,957,0,150,5,7
496,2874,1,315,5,20
497,1662,1,243,5,13
498,1297,0,178,5,9
499,623,0,118,5,6
500,5846,1,475,5,25
501,5846,1,475,5,26
502,957,0,150,5,4
503,1662,1,243,5,7
504,957,0,150,5,3
505,2874,1,315,5,10
506,2874,1,315,5,11
507,513,0,102,5,2
508,5846,1,475,5,18
509,2874,1,315,5,11
510,1662,1,243,5,7
511,513,0,102,5,3
512,2874,1,315,5,10
513,1662,1,243,5,7
514,1297,0,178,5,5
515,2874,1,315,5,11
516,2874,1,315,5,10
517,1297,0,178,5,5
518,2874,1,315,5,11
519,1297,0,178,5,5
520,1988,1,275,5,8
521,2874,1,315,5,10
522,2874,1,315,5,10
523,1297,0,178,5,4
524,1662,1,243,5,7
525,2874,1,315,5,11
526,551,0,110,5,2
527,957,0,150,5,3
528,2874,1,315,5,11
529,1662,1,243,5,7
530,2874,1,315,5,11
531,513,0,102,5,2
532,5846,1,475,5,23
533,2874,1,315,5,12
534,1662,1,243,5,7
535,957,0,150,5,3
536,1662,1,243,5,6
537,2874,1,315,5,9
538,2874,1,315,5,9
539,2874,1,315,5,9
540,2874,1,315,5,9
541,2874,1,315,5,10
542,2874,1,315,5,7
543,1662,1,243,5,5
544,5846,1,475,5,12
545,1662,1,243,5,4
546,2874,1,315,5,7
547,513,0,102,5,1
548,5846,1,475,5,12
549,513,0,102,5,1
550,2874,1,315,5,7
551,1662,1,243,5,4
552,5846,1,475,5,12
553,323,0,78,5,1
554,2874,1,315,5,7
555,1662,1,243,5,4
556,2874,1,315,5,7
557,5846,1,475,5,12
558,2874,1,315,5,7
559,1662,1,243,5,5
560,1297,0,178,5,3
561,957,0,150,5,2
562,1662,1,243,5,4
563,1297,0,178,5,3
564,2874,1,315,5,7
565,957,0,150,5,2
566,1662,1,243,5,5
567,1662,1,243,5,4
568,2874,1,315,5,7
569,2874,1,315,5,7
570,5846,1,475,5,12
571,957,0,150,5,2
572,2874,1,315,5,7
573,1297,0,178,5,3
574,2874,1,315,5,7
575,5846,1,475,5,11
576,2874,1,315,5,7
577,971,0,154,5,2
578,1297,0,178,5,3
579,323,0,78,5,1
580,2874,1,315,5,6
581,2874,1,315,5,7
582,5846,1,475,5,12
583,2874,1,315,5,7
584,2874,1,315,5,7
585,2874,1,315,5,7
586,645,0,122,5,1
587,1662,1,243,5,4
588,2874,1,315,5,7
589,2874,1,315,5,7
590,1662,1,243,5,4
591,5846,1,475,5,11
592,2874,1,315,5,7
593,1662,1,243,5,4
594,2874,1,315,5,7
595,1662,1,243,5,4
596,1662,1,243,5,4
597,957,0,150,5,2
598,513,0,102,5,1
599,513,0,102,5,1
600,5846,1,475,5,11
601,5846,1,475,5,12
602,2874,1,315,5,7
603,1297,0,178,5,3
604,2874,1,315,5,7
605,2874,1,315,5,7
606,2874,1,315,5,7
607,957,0,150,5,2
608,645,0,122,5,1
609,1662,1,243,5,4
610,2874,1,315,5,6
611,323,0,78,5,1
612,2874,1,315,5,6
613,2874,1,315,5,7
614,1662,1,243,5,4
615,1662,1,243,5,4
616,3848,1,379,5,9
617,1662,1,243,5,4
618,1662,1,243,5,4
619,1662,1,243,5,4
620,2874,1,315,5,7
621,2874,1,315,5,7
622,1662,1,243,5,4
623,513,0,102,5,1
624,1662,1,243,5,4
625,513,0,102,5,1
626,5846,1,475,5,12
627,2874,1,315,5,7
628,323,0,78,5,1
629,1662,1,243,5,4
630,5846,1,475,5,11
631,5846,1,475,5,13
632,1662,1,243,5,4
633,957,0,150,5,2
634,645,0,122,5,2
635,2874,1,315,5,7
636,2874,1,315,5,7
637,2874,1,315,5,8
638,2874,1,315,5,10
639,1662,1,243,5,8
640,5846,1,475,5,12
641,2874,1,315,5,6
642,645,0,122,5,1
643,1662,1,243,5,4
644,1662,1,243,5,4
645,5846,1,475,5,12
646,2874,1,315,5,7
647,2874,1,315,5,7
648,5846,1,475,5,12
649,957,0,150,5,2
650,5846,1,475,5,12
651,2874,1,315,5,7
652,513,0,102,5,1
653,1297,0,178,5,3
654,2874,1,315,5,7
655,2874,1,315,5,10
656,2874,1,315,5,10
657,1662,1,243,5,7
658,5846,1,475,5,18
659,4329,1,455,6,16
660,2493,1,355,6,11
661,9365,1,683,6,21
662,4329,1,455,6,10
663,3897,1,439,6,9
664,4329,1,455,6,10
665,4329,1,455,6,10
666,1798,0,246,6,4
667,6885,1,563,6,14
668,21249,1,1127,6,40
669,1086,0,178,6,2
670,9365,1,683,6,19
671,3897,1,439,6,9
672,3897,1,439,6,10
673,9365,1,683,6,19
674,21249,1,1127,6,40
675,4329,1,455,6,10
676,6885,1,563,6,14
677,3897,1,439,6,10
678,942,0,170,6,2
679,9365,1,683,6,19
680,3897,1,439,6,9
681,1390,0,214,6,3
682,21249,1,1127,6,40
683,2493,1,355,6,7
684,4329,1,455,6,10
685,948,0,174,6,2
686,4329,1,455,6,10
687,9365,1,683,6,19
688,1086,0,178,6,2
689,1086,0,178,6,2
690,6885,1,563,6,14
691,6885,1,563,6,15
692,4329,1,455,6,10
693,442,0,106,6,1
694,618,0,126,6,1
695,942,0,170,6,2
696,906,0,170,6,2
697,6885,1,563,6,14
698,2590,0,294,6,5
699,3897,1,439,6,10
700,942,0,170,6,2
701,21249,1,1127,6,40
702,21249,1,1127,6,39
703,6885,1,563,6,14
704,6885,1,563,6,14
705,1800,0,242,6,4
706,6885,1,563,6,14
707,1086,0,178,6,2
708,6885,1,563,6,14
709,618,0,126,6,2
710,518,0,122,6,1
711,1314,0,210,6,3
712,3897,1,439,6,10
713,3897,1,439,6,10
714,4329,1,455,6,10
715,6885,1,563,6,15
716,4329,1,455,6,10
717,1306,0,210,6,3
718,1314,0,210,6,3
719,6885,1,563,6,15
720,2493,1,355,6,7
721,4871,1,503,6,12
722,1306,0,210,6,3
723,1196,0,194,6,3
724,9365,1,683,6,20
725,618,0,126,6,1
726,6885,1,563,6,14
727,4329,1,455,6,10
728,4329,1,455,6,10
729,4329,1,455,6,10
730,9365,1,683,6,19
731,774,0,150,6,2
732,9365,1,683,6,19
733,774,0,150,6,2
734,1086,0,178,6,2
735,6885,1,563,6,14
736,812,0,158,6,2
737,812,0,158,6,2
738,9365,1,683,6,19
739,9365,1,683,6,19
740,1086,0,178,6,2
741,1798,0,246,6,4
742,2493,1,355,6,7
743,2493,1,355,6,7
744,2493,1,355,6,7
745,1314,0,210,6,3
746,1314,0,210,6,3
747,9365,1,683,6,19
748,3897,1,439,6,9
749,1314,0,210,6,3
750,2590,0,294,6,5
751,1798,0,246,6,4
752,4329,1,455,6,10
753,1086,0,178,6,2
754,1086,0,178,6,2
755,9365,1,683,6,19
756,1798,0,246,6,4
757,2493,1,355,6,7
758,4329,1,455,6,10
759,2493,1,355,6,7
760,9365,1,683,6,19
761,9365,1,683,6,20
762,774,0,150,6,2
763,9365,1,683,6,19
764,9365,1,683,6,19
765,4329,1,455,6,10
766,442,0,106,6,1
767,906,0,170,6,2
768,942,0,170,6,2
769,4329,1,455,6,10
770,4329,1,455,6,10
771,6885,1,563,6,15
772,9365,1,683,6,20
773,21249,1,1127,6,40
774,9365,1,683,6,20
775,4329,1,455,6,10
776,2493,1,355,6,7
777,942,0,170,6,2
778,1086,0,178,6,2
779,4329,1,455,6,10
780,4329,1,455,6,10
781,4329,1,455,6,10
782,4329,1,455,6,10
783,906,0,170,6,2
784,1086,0,178,6,2
785,4329,1,455,6,10
786,942,0,170,6,2
787,3897,1,439,6,9
788,1314,0,210,6,3
789,1407,0,194,6,3
790,3897,1,439,6,10
791,942,0,170,6,2
792,3897,1,439,6,9
793,3897,1,439,6,9
794,4329,1,455,6,10
795,2493,1,355,6,7
796,9365,1,683,6,19
797,6885,1,563,6,15
798,3897,1,439,6,10
799,9365,1,683,6,20
800,774,0,150,6,2
801,2590,0,294,6,5
802,4329,1,455,6,10
803,2590,0,294,6,5
804,728,0,142,6,2
805,3897,1,439,6,10
806,4329,1,455,6,10
807,4329,1,455,6,10
808,1474,0,210,6,3
809,9365,1,683,6,20
810,9365,1,683,6,19
811,9365,1,683,6,20
812,1086,0,178,6,3
813,656,0,134,6,2
814,656,0,134,6,2
815,906,0,170,6,2
816,2493,1,355,6,7
817,3897,1,439,6,10
818,7859,1,627,6,17
819,3897,1,439,6,10
820,3897,1,439,6,9
821,2590,0,294,6,5
822,694,0,142,6,2
823,9365,1,683,6,19
824,3897,1,439,6,9
825,4329,1,455,6,10
826,1390,0,214,6,3
827,9365,1,683,6,25
828,9365,1,683,6,29
829,6885,1,563,6,22
830,9365,1,683,6,30
831,3897,1,439,6,14
832,4329,1,455,6,15
833,4329,1,455,6,17
834,2590,0,294,6,8
835,6885,1,563,6,23
836,9365,1,683,6,30
837,6885,1,563,6,23
838,2493,1,355,6,11
839,4329,1,455,6,16
840,4329,1,455,6,16
841,728,0,142,6,3
842,7859,1,627,6,26
843,9365,1,683,6,30
844,3897,1,439,6,13
845,6765,0,524,6,16
846,19504,1,1085,7,48
847,3295,0,384,7,9
848,5048,1,581,7,17
849,6932,1,685,7,21
850,8660,1,733,7,25
851,2799,0,332,7,7
852,11284,1,861,7,31
853,1223,0,208,7,4
854,6932,1,685,7,22
855,75084,1,2613,7,175
856,8660,1,733,7,25
857,5048,1,581,7,17
858,1787,0,272,7,5
859,1697,0,252,7,5
860,5443,0,508,7,14
861,31280,1,1501,7,76
862,5480,1,597,7,17
863,5443,0,508,7,13
864,8660,1,733,7,25
865,3452,1,485,7,13
866,3267,0,384,7,9
867,3267,0,384,7,9
868,19504,1,1085,7,47
869,1897,0,288,7,5
870,1199,0,224,7,4
871,5480,1,597,7,19
872,6932,1,685,7,22
873,1223,0,208,7,4
874,731,0,152,7,3
875,11284,1,861,7,31
876,2023,0,284,7,6
877,841,0,168,7,3
878,13675,0,868,7,29
879,769,0,160,7,3
880,31280,1,1501,7,83
881,1333,0,224,7,9
882,13012,1,909,7,57
883,19504,1,1085,7,65
884,1443,0,240,7,5
885,5912,1,613,7,23
886,8660,1,733,7,34
887,1117,0,208,7,4
888,5480,1,597,7,25
889,5480,1,597,7,23
890,2455,0,312,7,10
891,11284,1,861,7,44
892,19504,1,1085,7,47
893,6238,1,645,7,20
894,2197,0,272,7,7
895,2261,0,316,7,6
896,1637,0,260,7,5
897,13012,1,909,7,34
898,5480,1,597,7,18
899,1023,0,192,7,3
900,2223,0,308,7,6
901,8660,1,733,7,32
902,1787,0,272,7,5
903,1475,0,244,7,5
904,19504,1,1085,7,49
905,949,0,188,7,4
906,6022,1,645,7,20
907,11284,1,861,7,31
908,5048,1,581,7,17
909,6932,1,685,7,22
910,1657,0,268,7,5
911,11284,1,861,7,30
912,1475,0,244,7,3
913,5480,1,597,7,13
914,1787,0,272,7,4
915,11284,1,861,7,24
916,19504,1,1085,7,37
917,2799,0,332,7,5
918,1703,0,276,7,4
919,4155,0,436,7,7
920,13012,1,909,7,26
921,5912,1,613,7,14
922,2007,0,284,7,4
923,3452,1,485,7,9
924,5480,1,597,7,13
925,1369,0,244,7,3
926,3197,0,372,7,6
927,1787,0,272,7,4
928,8660,1,733,7,19
929,5480,1,597,7,13
930,2379,0,332,7,5
931,5480,1,597,7,13
932,3219,0,380,7,6
933,5480,1,597,7,13
934,8660,1,733,7,19
935,5048,1,581,7,13
936,5912,1,613,7,14
937,1923,0,288,7,4
938,2799,0,332,7,5
939,2799,0,332,7,5
940,1787,0,272,7,4
941,2007,0,284,7,4
942,2261,0,316,7,4
943,5480,1,597,7,13
944,5048,1,581,7,13
945,1475,0,244,7,3
946,4155,0,436,7,7
947,1585,0,260,7,4
948,6932,1,685,7,17
949,769,0,160,7,2
950,1443,0,240,7,3
951,11284,1,861,7,24
952,1117,0,208,7,3
953,1443,0,240,7,3
954,1331,0,236,7,3
955,4155,0,436,7,7
956,1787,0,272,7,4
957,3219,0,380,7,6
958,19504,1,1085,7,37
959,19504,1,1085,7,37
960,3859,0,416,7,7
961,5480,1,597,7,13
962,5480,1,597,7,13
963,5912,1,613,7,14
964,13012,1,909,7,27
965,2909,0,348,7,6
966,3859,0,416,7,9
967,5480,1,597,7,13
968,2799,0,332,7,5
969,11284,1,861,7,24
970,19504,1,1085,7,37
971,31280,1,1501,7,61
972,8660,1,733,7,19
973,8660,1,733,7,19
974,8660,1,733,7,19
975,1637,0,260,7,4
976,31280,1,1501,7,60
977,19504,1,1085,7,37
978,13012,1,909,7,26
979,1697,0,252,7,4
980,3219,0,380,7,6
981,13012,1,909,7,26
982,5480,1,597,7,13
983,8660,1,733,7,19
984,31280,1,1501,7,60
985,3295,0,384,7,7
986,20478,1,1149,7,55
987,1787,0,272,7,6
988,19504,1,1085,7,55
989,6759,1,757,8,27
990,5144,0,536,8,16
991,23471,1,1341,8,71
992,59643,1,2201,8,156
993,3976,0,480,8,12
994,33991,0,1590,8,63
995,8835,1,873,8,21
996,4304,0,496,8,8
997,6759,1,757,8,18
998,16559,1,1197,8,36
999,2304,0,356,8,5
1000,23471,1,1341,8,46
1001,59643,1,2201,8,108
1002,6759,1,757,8,17
1003,15059,1,1105,8,32
1004,2944,0,416,8,6
1005,2944,0,416,8,6
1006,6608,0,568,8,11
1007,2316,0,372,8,5
1008,10563,1,921,8,24
1009,3736,0,464,8,7
1010,6236,0,596,8,11
1011,15059,1,1105,8,33
1012,9358,0,756,8,16
1013,2630,0,388,8,5
1014,1262,0,240,8,3
1015,16559,1,1197,8,36
1016,9056,0,728,8,16
1017,6759,1,757,8,18
1018,1644,0,280,8,4
1019,50059,1,1897,8,92
1020,16559,1,1197,8,37
1021,1276,0,244,8,3
1022,2414,0,372,8,5
1023,2316,0,372,8,6
1024,6759,1,757,8,17
1025,1478,0,256,8,3
1026,5132,0,556,8,9
1027,3820,0,456,8,7
1028,2478,0,356,8,5
1029,4960,0,544,8,9
1030,2588,0,364,8,6
1031,41439,1,1893,8,76
1032,5036,0,548,8,11
1033,59643,1,2201,8,109
1034,3184,0,440,8,7
1035,928,0,196,8,2
1036,2248,0,348,8,5
1037,4252,0,472,8,8
1038,1390,0,268,8,3
1039,1430,0,272,8,3
1040,23471,1,1341,8,46
1041,1588,0,272,8,4
1042,8835,1,873,8,21
1043,3704,0,456,8,7
1044,10131,1,905,8,25
1045,16787,1,1153,8,34
1046,16033,1,1169,8,35
1047,4656,0,512,8,9
1048,1850,0,308,8,4
1049,3736,0,464,8,7
1050,8835,1,873,8,21
1051,50059,1,1897,8,99
1052,1148,0,228,8,4
1053,2668,0,376,8,7
1054,1928,0,296,8,5
1055,3736,0,464,8,7
1056,59643,1,2201,8,115
1057,2608,0,384,8,6
1058,13331,1,1057,8,39
1059,41439,1,1893,8,105
1060,2642,0,404,8,10
1061,890,0,188,8,7
1062,10563,1,921,8,31
1063,7191,1,773,8,24
1064,1372,0,256,8,5
1065,13331,1,1057,8,41
1066,5876,0,564,8,14
1067,1406,0,256,8,5
1068,3570,0,440,8,9
1069,2066,0,324,8,6
1070,10563,1,921,8,31
1071,6759,1,757,8,23
1072,6759,1,757,8,25
1073,6236,0,596,8,17
1074,15059,1,1105,8,43
1075,7733,1,821,8,26
1076,1406,0,248,8,5
1077,1896,0,316,8,6
1078,2296,0,352,8,8
1079,41439,1,1893,8,98
1080,6759,1,757,8,23
1081,11687,0,850,8,28
1082,23471,1,1341,8,59
1083,4539,1,633,8,17
1084,6824,0,640,8,19
1085,2706,0,384,8,8
1086,15059,1,1105,8,41
1087,2630,0,388,8,7
1088,2282,0,340,8,7
1089,890,0,188,8,4
1090,10563,1,921,8,31
1091,3460,0,424,8,9
1092,15059,1,1105,8,46
1093,41439,1,1893,8,98
1094,1588,0,272,8,5
1095,1792,0,304,8,6
1096,22175,1,1309,8,56
1097,22175,1,1309,8,56
1098,1896,0,316,8,6
1099,11753,1,1001,8,34
1100,15059,1,1105,8,41
1101,50059,1,1897,8,119
1102,2304,0,356,8,7
1103,7956,0,672,8,18
1104,17532,0,976,8,35
1105,3500,0,436,8,10
1106,928,0,196,8,4
1107,59643,1,2201,8,137
1108,23471,1,1341,8,61
1109,890,0,188,8,4
1110,2884,0,400,8,8
1111,2138,0,332,8,7
1112,1890,0,288,8,6
1113,35823,1,1781,8,92
1114,13331,1,1057,8,54
1115,35823,1,1781,8,98
1116,23471,1,1341,8,61
1117,4912,0,540,8,12
1118,3460,0,424,8,10
1119,4304,0,496,8,12
1120,928,0,196,8,3
1121,10563,1,921,8,32
1122,16559,1,1197,8,54
1123,4057,0,558,9,13
1124,2399,0,398,9,9
1125,3673,0,506,9,12
1126,47658,1,2287,9,144
1127,25838,1,1567,9,65
1128,18209,0,1158,9,31
1129,1889,0,330,9,5
1130,6113,0,678,9,13
1131,64938,1,2527,9,121
1132,4639,0,554,9,9
1133,6715,0,662,9,13
1134,4669,0,590,9,10
1135,24974,1,1551,9,52
1136,16014,1,1279,9,36
1137,2687,0,422,9,6
1138,27566,1,1615,9,56
1139,2853,0,446,9,6
1140,3423,0,490,9,7
1141,4719,0,582,9,9
1142,1741,0,306,9,4
1143,7651,0,718,9,14
1144,1673,0,314,9,4
1145,78872,1,2879,9,158
1146,6715,0,662,9,12
1147,7661,0,754,9,15
1148,3673,0,506,9,8
1149,5323,0,626,9,11
1150,1993,0,354,9,5
1151,14286,1,1231,9,36
1152,4657,0,570,9,9
1153,2917,0,422,9,6
1154,3721,0,514,9,8
1155,3133,0,446,9,7
1156,6209,0,690,9,12
1157,10495,0,854,9,19
1158,8345,0,770,9,15
1159,2367,0,382,9,5
1160,5973,0,638,9,12
1161,3673,0,510,9,8
1162,1599,0,310,9,4
1163,1095,0,234,9,3
1164,16014,1,1279,9,36
1165,20654,1,1471,9,47
1166,6113,0,678,9,12
1167,5631,0,634,9,11
1168,8166,1,935,9,22
1169,2949,0,458,9,6
1170,1019,0,218,9,3
1171,7687,0,742,9,15
1172,12594,1,1127,9,29
1173,26841,0,1442,9,45
1174,4251,0,526,9,8
1175,4609,0,566,9,9
1176,14286,1,1231,9,33
1177,25838,1,1567,9,54
1178,12162,1,1111,9,28
1179,10866,1,1079,9,27
1180,2255,0,390,9,5
1181,1813,0,338,9,5
1182,26270,1,1583,9,56
1183,2961,0,474,9,7
1184,32458,1,1871,9,72
1185,4249,0,530,9,8
1186,10866,1,1079,9,27
1187,7915,0,722,9,15
1188,4657,0,570,9,9
1189,29546,1,1727,9,61
1190,70122,1,2623,9,136
1191,3459,0,478,9,7
1192,2205,0,350,9,5
1193,2151,0,350,9,5
1194,8345,0,770,9,15
1195,8166,1,935,9,22
1196,3963,0,502,9,8
1197,2949,0,458,9,6
1198,8817,0,766,9,17
1199,4407,0,554,9,9
1200,2505,0,398,9,6
1201,5041,0,582,9,10
1202,12492,0,900,9,22
1203,11722,0,1022,10,21
1204,12593,1,1287,10,32
1205,3764,0,562,10,9
1206,18365,1,1515,10,43
1207,27037,1,1779,10,58
1208,5120,0,646,10,10
1209,10370,0,962,10,19
1210,9660,0,914,10,18
1211,2512,0,430,10,6
1212,1900,0,358,10,5
1213,7198,0,778,10,13
1214,58185,1,2487,10,113
1215,5020,0,622,10,10
1216,6570,0,782,10,13
1217,14909,1,1419,10,38
1218,7174,0,822,10,14
1219,22422,0,1386,10,41
1220,8530,0,874,10,17
1221,13025,1,1303,10,33
1222,3824,0,558,10,8
1223,12161,1,1271,10,32
1224,2608,0,442,10,6
1225,8722,0,898,10,19
1226,1576,0,310,10,4
1227,1800,0,350,10,5
1228,12593,1,1287,10,32
1229,3364,0,530,10,7
1230,14321,1,1335,10,35
1231,9366,0,862,10,21
1232,14321,1,1335,10,35
1233,4400,0,606,10,9
1234,2592,0,434,10,6
1235,39145,1,2127,10,88
1236,1194,0,258,10,5
1237,1758,0,326,10,6
1238,5190,0,686,10,14
1239,4398,0,622,10,13
1240,18365,1,1515,10,57
1241,58265,1,2727,10,152
1242,2044,0,366,10,7
1243,1686,0,326,10,6
1244,3538,0,518,10,14
1245,10966,0,998,10,25
1246,4076,0,558,10,11
1247,2318,0,386,10,7
1248,5830,0,726,10,16
1249,2178,0,394,10,7
1250,6788,0,782,10,23
1251,2934,0,474,10,12
1252,12593,1,1287,10,43
1253,154933,1,4051,10,336
1254,2824,0,458,10,9
1255,14321,1,1335,10,64
1256,13889,1,1319,10,67
1257,12470,0,1070,10,51
1258,1686,0,326,10,7
1259,3800,0,562,10,11
1260,1376,0,282,10,5
1261,12490,0,1046,10,29
1262,4160,0,586,10,12
1263,12593,1,1287,10,63
1264,7872,0,846,10,28
1265,8042,0,866,10,25
1266,2936,0,442,10,11
1267,1518,0,306,10,7
1268,3016,0,514,10,11
1269,13889,1,1319,10,53
1270,4424,0,610,10,15
1271,45293,1,2395,10,142